Zagadochnyĭ starik.--T︠S︡iolkovskiĭ v Peterburge.

The purpose of the study is to reveal the essential content of the digital environment for the provision of medical services. The article discusses various scientific approaches to the formation and development of the digital health care environment. Scientific novelty lies in the substantiation of the definition of a digital environment for the provision of medical services, which will allow developing a scientific and methodological approach to designing a digital ecosystem for the development of the regional economy based on increasing (...) the level of health preservation of citizens. As a result, the strategic directions for the development of the digital environment for the provision of medical services were identified, reflecting the global trends in the development of digital health. (shrink)

This article discusses Vladimir Vasil’evich Veidle, a philosopher and scholar of cultural study of the Silver Age and a brilliant expert on Alexander Pushkin’s works. The focus is on th...

As it happened, I became acquainted with E.V. Il'enkov quite late, in the mid- or even the late 1960s. It was only a bit more than ten years before his death that I began to feel at home in his house, was able to visit without calling ahead, and was able to call him by his first name and the familiar "you"—that is, like many, many of not only his true friends but also like-minded thinkers, who became his close acquaintances, (...) most of whom justly considered themselves his pupils … The door would open wide, and Olia, Professor K.I. Salimova, Eval'd's wife and most devoted friend, not at all surprised by the unexpected guest and seemingly even quite happy at his arrival , would try first to draw him into the kitchen and feed him … which she more often than not succeeded in doing. I am not talking about myself: there were always many guests, and this is precisely how they arrived at the Il'enkovs' apartment. Recently, a critic in Literaturnaia gazeta recalled those whom he met in Eval'd's apartment in the 1960s: "This was a tight circle of like-minded thinkers," wrote the critic. "But some of them are no longer with us, while most are far away, beyond our borders." Obviously, he had not been in the house often or had forgotten things over the distance of years. There was no "circle," nor could there have been one—not with this host, not with his lifestyle and way of relating to people. I met a good hundred fine and various people in Eval'd's home: I.N. Korzhavin, V. Davydov, A. Meshcheriakov, S. Vinogradova, N. Dubinin, V. Zinchenko, A. Zinov'ev, Iu. Kamiakin, and … indeed, five pages would not be enough to list the quite famous and the not-quite-so-famous, simply ordinary people with no claim to fame. Nazym Khikmet, A.N. Leont'ev, and B.M. Kedrov were friends of the house … Ever new faces, figures, and words come to mind. I cannot forgive myself: once Eval'd Vasil'evich wanted to take me along to Iurii Liubimov's to read his play Neither God nor Tsar nor Hero … [Ni bog, ni tsar' i ni geroi], but I had some other business, something so important that I do not even remember now what it was, and it is probably not worth remembering. But most likely I was too timid to appear uninvited at the house of a person burning with creativity. The same thing happened with Galich … Eval'd liked especially his song about Zoshchenko. He did not sing it; he narrated it, but in such a way that tears always came to one's eyes. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

This book traces the development of Dialectical Logic within the history of modern western philosophy, culminating in Marx s materialist dialectics. It brings out the essential contours of Logic through a detailed exposition of the ontological and epistem.

This text is a classic of Lenin - his essay explores materialism and its relation to capitalism and how Communism can get over this psychological wish for material and empirical ownership.

Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

In this paper we prove the following theorem: Any one-dimensional definably connected group G over an o-minimal structure is, as an abstract group, isomorphic to either pPp∞δ or δ.

The subject of the study is the figurative and symbolic reflection and transformation of the dynamic reality of life in the cinematic space of modern culture. The purpose of the work is to identify and substantiate trends in the development of cinematographic cultural texts based on the figurative and symbolic representation of the phenomenon of success in the existential space of human existence. The scientific novelty of the work is represented by the evidence base of the study, which determines the (...) figurative correspondence of the philosophical and sociological representation of cinematic texts to the phenomenon of success as a value-symbolic aspect of personal activity. Based on the analysis of cinema screen products created at the turn of the XX-XXI centuries and devoted to the characterization of the image of a subject whose existential level of being is characterized in the symbols of success/ failure, several trends in the development of cinematic culture can be identified. Firstly, the characteristic of the "sunset" of the previously dominant ideological trend of symbolization of the actual phenomenology of success. Secondly, the stage of axiological instability and ambivalence in the evaluation of the symbols of success, unevenly implemented in the scenario and staging part. And, thirdly, the formation and consolidation of new cinematic paradigms through the constant convergence of private symbols of success, manifested in different ways both in reality and on the cinema screen, and accompanied by constant attempts at their non-contextual universalization. (shrink)

In the current philosophical literature, determinism is rarely defined explicitly. This paper attempts to show that there are in fact many forms of determinism, most of which are familiar, and that these can be differentiated according to their particular components. Recognizing the composite character of determinism is thus central to demarcating its various forms.

In 1995 N. C. A. da Costa and F. Doria proposed the modaltype elegant axiomatization of Jaśkowski’s discussive logic D2. Yet his ownproblem which was formulated in 1975 in a following way: Is it possible toformulate natural and simple axiomatization for D2, employing classical disjunction and conjunction along with discussive implication and conjunctionas the only primitive connectives? — still seems left open. The matter of factis there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski, J. Kotas and N. (...) C. A. da Costa , G. Achtelik, L. Dubikajtus,E. Dudek and J. Konior , satisfying da Costa’s conditions, but they arerather looking very complicated and unnatural. An attempt is made to solveda Costa’s problem. The new axiomatization of D2 is proposed essentiallybased on da Costa’s-Doria axiomatization from 1995. (shrink)

The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...) rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

This report of the roundtable that took place on 25 November 2021 at The Peoples’ Friendship University of Russia attempts to explain the obvious growth of interest in Neo-Kantian philosophy in general and the philosophy of the head of the Marburg School of Neo-Kantianism, Hermann Cohen, in particular. In their contributions, the participants in the discussion demonstrated that the current interest in Neo-Kantianism does not solely or even largely have to do with the history of philosophy but rather with the (...) relevance of many of the ideas of Marburg Neo-Kantianism for the modern theory of cognition, the philosophy of culture, ethics and the philosophy of religion. The course of the discussion highlighted the relevance of Cohen’s theory of cognition based on logic and rationality. The main outcome of the discussion was the conviction that the potential of many of Cohen’s ideas has yet to be fully tapped and there are grounds for considering them to be heralds of a new philosophy which, in many of its features, is only maturing. (shrink)

The Petrine-Pushkinian era lasted no more than two hundred years. It originated at the Battle of Poltava, where Russian troops first showed themselves not just equal to the Swedes, who were otherwi...

The work tends to point out the deficiency of some opinions claiming simplified presentation of the promise as the act that directly rise obligation for the promisor. Promises, either in the moral or legal sphere, are based on communication and so form an order of dependent steps that indicates their procedural nature. These characteristics may differ to a lesser extent, depending on the legal systems, moral norms of the society and its technical level and its needs. In all these cases, (...) however, the procedural characteristics of promises, especially in conditional promises, as well as the promises in contractual relations, persists. In our analysis we wish to show that the consistent conception of promise has to take into account a step of acceptance. The outcome of this approach relativizes a strong distinction between promise and offer. (shrink)

In this paper1 we study admissible consecutions in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such (...) consecutions. Some applications to particular logics with the universal modality are given. (shrink)

The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.

Trata-se de discutir a centralidade do trabalho como categoria de reconhecimento através da problematização de sua natureza disciplinar. Isto nos levará a um duplo movimento: primeiro, a categoria de trabalho em Marx será relida à luz não apenas da temática da espoliação econômica da mais-valia, mas também da espoliação psíquica das relações de estranhamento entre sujeito e objeto; segundo, as modificações recentes no mundo do trabalho e as modalidades de sofrimento psíquico a elas associadas serão interpretadas a partir do impacto (...) social de tal forma de espoliação. (shrink)

[From an Evolutionary Point of View: The Concept of Evolution in Contemporary Philosophy].

The article deals with some current pioneering formal reconstructions and interpretations of the problem well known in antiquity as The Master Argument. This problem is concerning with enrichment of formal logical systems with modal and temporal notions. The opening topic is devoted to reconstruction of Arthur Prior. while the other here included approach to the problem arc mostly reactions. revisions or additions to this one.